Mathematical l Induction数学归纳法
generallzed mathematical induction method广义数学归纳法
multiple mathematical induction[数] 多重数学归纳法
definition by mathematical induction[数] 用数学归纳法定义
mathematical induction method数学归纳法
Principal of Mathematical Induction浅谈数学归纳法
proof of mathematical induction数学归纳法的证明
terms of mathematical induction利用数学归纳法
In this paper, using the mathematical induction, a class of compulational formulas for the multipleintegral is proved.
得到了一类多重积分的计算公式，并运用数学归纳法给出了证明。
参考来源 - 一类多重积分的计算 A CLASS OF COMPULATIONAL FORMULAS FOR MULTIPLE INTEGRALIn addition, the method can extract the recursive program when the theorems used in proving are in the recursive forms, and also can extract iterative program by mathematical induction.
利用数学归纳法,使用本算法可以抽取循环程序。
参考来源 - 基于广义归结的程序综合